uint32_t a0 = (ops[0] & 0x00000000FFFFFFFF) >> 0;
uint32_t a1 = (ops[0] & 0xFFFFFFFF00000000) >> 32;
uint32_t b0 = (ops[1] & 0x00000000FFFFFFFF) >> 0;
uint32_t b1 = (ops[1] & 0xFFFFFFFF00000000) >> 32;
a0 += b0;
a1 += b1;
uint64_t c0 = (uint64_t)(a0) << 0;
uint64_t c1 = (uint64_t)(a1) << 32;
return c0 | c1;
// return (uint64_t) _mm_adds_pu16((__m64)ops[0], (__m64)ops[1]);
